First Steps Towards a Wise Development Environment for Behavioral Models

نویسندگان

  • David Harel
  • Guy Katz
  • Rami Marelly
  • Assaf Marron
چکیده

The authors present an initial wise development framework: a development environment that proactively and interactively assists the software engineer in modeling complex reactive systems. Their framework repeatedly analyzes models of the system under development at various levels of abstraction, and then reasons about these models in order to detect possible errors, to derive emergent properties of interest, and to assist in system testing and debugging. Upon request, the environment can instrument the system model in order to monitor or test the execution for certain behaviors, or even augment it in order to repair or avoid detected behavior that is undesired. The direction and prioritization of the analysis and related tasks is based on the relevance of the observed properties and the expected impact of actions to be taken, and is performed by specialized automated and human-assisted techniques that have been incorporated into the framework. The authors’ development environment is an initial step in the direction of their recent Wise Computing vision, which calls for turning the computer (namely, the development environment) into an equal member of the development team: knowledgeable, independent, concerned and proactively involved in the development process. They have implemented their tool within the context of behavioral programming (BP) – a scenariobased modeling approach, in which components are aligned with how humans often describe desired system behavior. The authors’ work thus further enhances the naturalness and incrementality of developing in BP.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Membership Effect in Student Council to Improve Learning Connection Skills in Guidance School Student of Garmsar City

The subject of self-esteem and self valuably is one of the most basic factors in Childs and adults favorable character growth. Having animus and confidence, decision making power and invention, creativity, think health and mental hygiene have direct relationship with the rate and manner of self-esteem and individual's self-valuable feeling. Today in correction and treatment of adults and Childs...

متن کامل

Changes in the E-Banking Industry: A Step towards Sustainable Development

Sustainable development is the result of fundamental changes in social, economic and cultural elements which will guide itself through cyberspace So that tomorrow man will direct most of his social and economic activities through cyberspace using human beings and there will be no need for people to be present in the field of economic and social interactions, among which banks have been in line ...

متن کامل

Addressing the Dilema Between Collaboration and Privacy in Coworking Spaces

This paper aims to inform design strategies for regulating privacy in coworking spaces. Coworking spaces are growing at a high rate, yet studies related to the social, psychological, behavioral and physical needs associated with these environments are limited. The growth of coworking spaces is in greater part facilitated by a drive towards greater interaction and collaboration among the workfor...

متن کامل

Attitudes towards English as an International Language (EIL) in Iran: Development and Validation of a New Model and Questionnaire

This study aimed at developing and validating a new model and instrument to explore attitudes of Iranian EFL learners towards English as an International Language (EIL). In so doing, the researchers followed several rigorous steps including extensive literature review, content selection, item generation, designing the rating scales and personal information part, Delphi technique, item revision,...

متن کامل

مدل جامع تعاملی بلوغ دولت همراه

Growing development of wireless technologies with a distinctive feature of this technology and the extent of spatial independence of its influence among the people have caused governments to move towards the use of this technology in their services and transactions. Measuring the growth rate in the state offering these services require the m-government maturity model. The aim of this study is p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • IJISMD

دوره 7  شماره 

صفحات  -

تاریخ انتشار 2016